A Method to Discover Admissible Model Equations from Observed Data

نویسندگان

  • Takashi Washio
  • Hiroshi Motoda
  • Yuji Niwa
چکیده

Most conventional law equation discovery systems such as BACON require experimental environments to acquire their necessary data. The mathematical techniques such as linear system identi cation and neural network tting presume the classes of equations to model given observed data sets. The study reported in this paper proposes a novel method to discover an admissible model equation from a given set of observed data, while the equation is ensured to re ect rst principles governing the objective system. The power of the proposed method comes from the use of the scale-types of the observed quantities, a mathematical property of identity and quasi-bi-variate tting to the given data set. Its principles and algorithm are described with moderately complex examples, and its practicality is demonstrated through a real application to psychological and sociological law equation discovery.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Discovering Admissible Simultaneous Equation Models from Observed Data

Conventional work on scienti c discovery such as BACON derives empirical law equations from experimental data. In recent years, SDS introducing mathematical admissibility constraints has been proposed to discover rst principle based law equations, and it has been further extended to discover law equations from passively observed data. Furthermore, SSF has been proposed to discover the structure...

متن کامل

Automated Scientific Modeling from Observed Data and its Application to Socio-Psychology

The knowledge-based automated modeling framework such as CML can be applied only to the systems where their valid background knowledge is available . The conventional model equation discovery systems such as BACON require experimental environments to acquire their necessary data . The mathematical techniques, e.g ., linear system identification and neural network fitting, presume the classes of...

متن کامل

Discovering Admissible Model Equations from Observed Data Based on Scale-Types and Identity Constrains

Most conventional law equation discovery systems such as BACON require experimental environments to acquire their necessary data. The mathematical techniques such as linear system identi cation and neural network tting presume the classes of equations to model given observed data sets. The study reported in this paper proposes a novel method to discover an admissible model equation from a given...

متن کامل

Domain-theoretic models of parametric polymorphism

We present a domain-theoretic model of parametric polymorphism based on admissible per’s over a domain-theoretic model of the untyped lambda calculus. The model is shown to be a model of Abadi & Plotkin’s logic for parametricity, by the construction of an LAPL-structure as defined by the authors in [7, 5]. This construction gives formal proof of solutions to a large class of recursive domain eq...

متن کامل

Development of SDS2: Smart Discovery System for Simultaneous Equation Systems

SDS2 is a system to discover and identify the quantitative model consisting of simultaneous equations re ecting the rst principles underlying the objective process through experiments. It consists of SSF and SDS, where the former is to discover the structure of the simultaneous equations and the latter to discover a quantitative formula of each complete equation. The power of SDS2 comes from th...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001